Semantics of logic - PDFSEARCH.IO - Document Search Engine

Semantics of logic
Results: 1541

#	Item
231	A Practical Logic Framework for Verifying Safety Properties of Executables Lu Zhao Guodong Li Add to Reading List Source URL: www.cs.utah.edu Language: English - Date: 2011-08-02 14:55:47 Mathematics Hoare logic Separation logic Axiomatic semantics Assertion Postcondition Precondition Judgment Rust Theoretical computer science Logic in computer science Mathematical logic
232	Welcome Welcome to the 47th Annual Meeting of the Chicago Linguistic Society! We have scheduled for you an intense three days of linguistic excitement (7–9 April 2011), all taking place in Ida Noyes Hall at the Univer Add to Reading List Source URL: hum.uchicago.edu Language: English - Date: 2013-09-30 13:37:17 Philosophical logic Predicate logic Chicago Linguistic Society Science Analytic philosophy Logic Quantification Semantics
233	Microsoft Word - 06_Psillos-Hendry.doc Add to Reading List Source URL: users.uoa.gr Language: English - Date: 2006-11-06 03:55:52 Philosophy of language Philosophy of science Scientific method Concepts Semantics Semantic view of theories Scientific theory Theory Mathematical logic Science Philosophy Ethology
234	A Na¨ıve Evaluation of Queries over Incomplete Databases ´ AMELIE GHEERBRANT, LIAFA (Universit´e Paris Diderot - Paris 7 & CNRS) LEONID LIBKIN, University of Edinburgh Add to Reading List Source URL: www.sirangelo.info Language: English - Date: 2014-09-08 08:04:39 Model theory Relational model Query languages Models of computation FO Finite model theory Null Kripke semantics SQL Logic Mathematical logic Mathematics
235	On the Formal Semantics of IF-like Logics Santiago Figueiraa,b , Daniel Gor´ına , Rafael Grimsonc a Departamento de Computaci´ on, FCEyN Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2009-10-23 18:50:09 Model theory Predicate logic Non-classical logic Quantification Interpretation First-order logic Independence-friendly logic FO Lambda calculus Logic Mathematical logic Philosophical logic
236	Data Structures Considered Harmful John G. Cleary, Mark Utting, and Roger Clayton University of Waikato, Hamilton, New Zealand. {jcleary,marku,rjc4}@cs.waikato.ac.nz Add to Reading List Source URL: www.cs.waikato.ac.nz Language: English - Date: 2010-06-15 06:33:59 Logic in computer science Non-classical logic Query languages Prolog Logic programming Denotational semantics Programming language Logic Modal logic Software engineering Computing Computer programming
237	A tutorial on call-by-push-value Paul Blain Levy University of Birmingham October 12, 2013 Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2013-10-21 08:35:46 Computer science Programming language semantics Models of computation Type theory Lambda calculus Denotational semantics Type system Evaluation strategy Operational semantics Theoretical computer science Applied mathematics Logic in computer science
238	BRICS RS-05-4 Filinski & Rohde: Denotational Aspects of Untyped Normalization by Evaluation BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-04-13 07:44:53 Computer science Models of computation Applied mathematics Logic in computer science Normalisation by evaluation Denotational semantics De Bruijn index Symbol Administrative normal form Theoretical computer science Lambda calculus Programming language semantics
239	On the Formal Semantics of IF-like Logics Santiago Figueira∗ Daniel Gor´ın∗ Rafael Grimson† Add to Reading List Source URL: www.glyc.dc.uba.ar Language: English - Date: 2008-07-19 15:45:01 Model theory Philosophical logic Semantics Non-classical logic First-order logic Interpretation Lambda calculus Independence-friendly logic FO Logic Mathematical logic Mathematics
240	BRICS RS-05-8 P. D. Mosses: Exploiting Labels in Structural Operational Semantics BRICS Basic Research in Computer Science Add to Reading List Source URL: www.brics.dk Language: English - Date: 2005-03-21 06:24:57 Programming language semantics Applied mathematics Symbol Denotational semantics State transition system Operational semantics Theoretical computer science Models of computation Logic in computer science

UPDATE